University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
211	A FOCUSING SYSTEM CONTROL UPGRADE OF MMF LINAC O.V. Grekhov, A.N. Drugakov, I.V. Kiselev Institute for Nuclear Research RAS, Moscow PACS numbers: 29.17.+w, 07.05.Dz Being created in eightieth years, the linear accelerato Add to Reading List Source URL: www.kipt.kharkov.ua Language: English - Date: 2009-07-14 07:19:58 University of Cambridge Computer Laboratory Computing Operating system Computer Electronics Numbers Holism Source code Subroutine
212	[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D Add to Reading List Source URL: www.barneypell.com Language: English - Date: 2009-12-15 09:27:32 Computing Abstract interpretation Prolog Model theory Patrick Cousot Logic programming Interpretation Abstract object Game theory Software engineering Programming language theory Abstraction
213	Citrix_Solution_Summary_back Add to Reading List Source URL: ppn.com.hk Language: English - Date: 2010-12-13 04:57:49 Xen Local area networks Telecommunications engineering Citrix Systems ISCSI Storage area network Drobo Virtualization Computing System software University of Cambridge Computer Laboratory
214	Programming the Xen Cloud using OCaml David Scott, Anil Madhavapeddy and Richard Mortier The Xen Cloud Platform (XCP)1 is an open-source software distribution that converts clusters of physical computers into many virtua Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:11:40 Virtual machines University of Cambridge Computer Laboratory Xen OCaml Camlp4 Hypervisor Hyper-V Microkernel Extended Copy Protection System software Software Computing
215	Network Bandwidth Isolation LinuxCon North America 2010 Simon Horman <> 10th–12th August 2010 Add to Reading List Source URL: www.valinux.co.jp Language: English - Date: 2012-12-26 01:22:39 Scheduling Computing University of Cambridge Computer Laboratory Xen Scheduling algorithms
216	Petri net semantics Jonathan Mark Hayman University of Cambridge Computer Laboratory Darwin College Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-03-01 09:25:15 Petri net Computer science Petri Semantics Linguistics Science Concurrency Models of computation Diagrams
217	31815_Camb_brochure_A_v7.qxd Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-05-01 05:43:27 United Kingdom Alan Turing University of Cambridge Computer Laboratory Andy Hopper Maurice Wilkes Computer Computing Turing Award Ambient intelligence British people Fellows of the Royal Society Science
218	Granularity and Concurrent Separation Logic Jonathan Hayman Computer Laboratory, University of Cambridge Abstract. When defining the semantics of shared-memory concurrent programming languages, one conventionally has to Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-07 11:14:44 Concurrency Diagrams Petri net Mathematical logic Mathematics Heap Separation logic Theoretical computer science Models of computation Logic in computer science
219	Proceedings of Workshop on Software in High-Energy Physics, pages 1-12, CERN, Geneva, 4-6 OctoberProgramming Michael Jackson Software Development Consultant 101 Hamilton Terrace Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-19 09:59:08 Procedural programming languages Holism Source code Subroutine University of Cambridge Computer Laboratory Fortran Parallel computing C Algorithm Computing Software engineering Computer programming
220	Stayin’ Alive: Aliveness as an alternative to authentication Jonathan Anderson and Robert N M Watson University of Cambridge Computer Laboratory {jonathan.anderson,robert.watson}@cl.cam.ac.uk Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-11-30 15:52:29 Computer security Kerberos Authentication server Ticket Granting Ticket Challenge-response authentication Authentication Password CAPTCHA Key distribution center Computer network security Computing Cryptography

UPDATE